TSTP Solution File: NUM694^4 by E-Darwin---1.5